[next] [prev] [prev-tail] [tail] [up]

Integrals 401 to 500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 134 129 0 106 122 128 264 111

N.S.

1 1.00 0.96 0.00 0.79 0.91 0.96 1.97 0.83

time (sec)

N/A 0.066 0.065 0.000 0.219 0.313 2.692 0.316 1.722

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 102 101 0 84 95 100 180 85

N.S.

1 1.00 0.99 0.00 0.82 0.93 0.98 1.76 0.83

time (sec)

N/A 0.048 0.045 0.000 0.191 0.300 1.231 0.325 1.745

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 60 53 57 65 66 102 52

N.S.

1 1.00 1.00 0.88 0.95 1.08 1.10 1.70 0.87

time (sec)

N/A 0.028 0.021 0.500 0.207 0.388 0.527 0.293 1.708

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 51 53 0 108 0 0 0 0

N.S.

1 1.00 1.04 0.00 2.12 0.00 0.00 0.00 0.00

time (sec)

N/A 0.046 0.004 0.000 0.349 0.000 0.000 0.000 0.000

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A B B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

70 70 69 0 61 65 442 144 58

N.S.

1 1.00 0.99 0.00 0.87 0.93 6.31 2.06 0.83

time (sec)

N/A 0.047 0.032 0.000 0.212 0.339 18.305 0.310 2.071

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 100 0 84 97 0 249 83

N.S.

1 1.00 0.92 0.00 0.77 0.89 0.00 2.28 0.76

time (sec)

N/A 0.052 0.027 0.000 0.188 0.353 0.000 0.306 1.931

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

141 141 128 0 106 124 0 343 110

N.S.

1 1.00 0.91 0.00 0.75 0.88 0.00 2.43 0.78

time (sec)

N/A 0.074 0.086 0.000 0.192 0.348 0.000 0.407 1.882

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

480 480 311 0 324 487 0 930 434

N.S.

1 1.00 0.65 0.00 0.68 1.01 0.00 1.94 0.90

time (sec)

N/A 0.332 0.250 0.000 0.229 0.375 0.000 0.319 2.889

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

342 342 223 0 257 357 0 624 420

N.S.

1 1.00 0.65 0.00 0.75 1.04 0.00 1.82 1.23

time (sec)

N/A 0.241 0.137 0.000 0.208 0.357 0.000 0.309 1.674

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

195 195 150 0 179 225 0 340 186

N.S.

1 1.00 0.77 0.00 0.92 1.15 0.00 1.74 0.95

time (sec)

N/A 0.117 0.060 0.000 0.201 0.327 0.000 0.313 1.627

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 195 0 0 0 0 0 0

N.S.

1 1.00 2.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.083 0.095 0.000 0.000 0.000 0.000 0.000 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

155 155 189 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.193 0.113 0.000 0.000 0.000 0.000 0.000 0.000

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

293 293 353 0 0 0 0 0 0

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.383 0.228 0.000 0.000 0.000 0.000 0.000 0.000

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

408 408 437 0 0 0 0 0 0

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.601 0.281 0.000 0.000 0.000 0.000 0.000 0.000

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

907 907 577 0 666 1197 0 2160 976

N.S.

1 1.00 0.64 0.00 0.73 1.32 0.00 2.38 1.08

time (sec)

N/A 0.675 0.326 0.000 0.230 0.413 0.000 0.349 9.294

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

595 595 433 0 536 861 0 1440 840

N.S.

1 1.00 0.73 0.00 0.90 1.45 0.00 2.42 1.41

time (sec)

N/A 0.415 0.205 0.000 0.215 0.387 0.000 0.341 1.935

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

284 284 241 0 381 527 0 714 350

N.S.

1 1.00 0.85 0.00 1.34 1.86 0.00 2.51 1.23

time (sec)

N/A 0.156 0.137 0.000 0.206 0.369 0.000 0.310 1.773

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 135 333 0 0 0 0 0 0

N.S.

1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.126 0.114 0.000 0.000 0.000 0.000 0.000 0.000

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

263 263 536 0 0 0 0 0 0

N.S.

1 1.00 2.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 0.533 0.000 0.000 0.000 0.000 0.000 0.000

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

573 573 841 0 0 0 0 0 0

N.S.

1 1.00 1.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.876 0.831 0.000 0.000 0.000 0.000 0.000 0.000

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

171 171 155 0 118 179 143 266 140

N.S.

1 1.00 0.91 0.00 0.69 1.05 0.84 1.56 0.82

time (sec)

N/A 0.084 0.093 0.000 0.215 0.338 58.179 0.361 2.214

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 127 0 96 153 116 232 106

N.S.

1 1.00 0.91 0.00 0.69 1.10 0.83 1.67 0.76

time (sec)

N/A 0.069 0.062 0.000 0.192 0.362 18.776 0.360 1.893

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 99 0 74 126 88 81 86

N.S.

1 1.00 0.93 0.00 0.69 1.18 0.82 0.76 0.80

time (sec)

N/A 0.055 0.042 0.000 0.193 0.388 6.590 0.514 2.101

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 63 86 48 90 56 52 44

N.S.

1 1.00 1.19 1.62 0.91 1.70 1.06 0.98 0.83

time (sec)

N/A 0.028 0.025 0.523 0.199 0.340 2.446 0.346 1.621

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 51 53 0 124 0 0 0 0

N.S.

1 1.00 1.04 0.00 2.43 0.00 0.00 0.00 0.00

time (sec)

N/A 0.036 0.004 0.000 0.476 0.000 0.000 0.000 0.000

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 68 63 75 70 391 116 60

N.S.

1 1.00 1.05 0.97 1.15 1.08 6.02 1.78 0.92

time (sec)

N/A 0.036 0.023 0.506 0.200 0.302 137.099 0.311 1.646

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 104 104 0 95 96 0 237 87

N.S.

1 1.00 1.00 0.00 0.91 0.92 0.00 2.28 0.84

time (sec)

N/A 0.050 0.045 0.000 0.201 0.311 0.000 0.321 1.606

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

136 136 132 0 117 123 0 357 113

N.S.

1 1.00 0.97 0.00 0.86 0.90 0.00 2.62 0.83

time (sec)

N/A 0.069 0.058 0.000 0.201 0.310 0.000 0.318 1.670

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

404 404 432 0 0 0 0 0 0

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.596 0.257 0.000 0.000 0.000 0.000 0.000 0.000

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

288 288 321 0 0 0 0 0 0

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.380 0.150 0.000 0.000 0.000 0.000 0.000 0.000

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 172 0 0 0 0 0 0

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.199 0.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 386 0 0 0 0 0 0

N.S.

1 1.00 4.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.089 0.226 0.000 0.000 0.000 0.000 0.000 0.000

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

195 195 298 0 248 235 0 278 193

N.S.

1 1.00 1.53 0.00 1.27 1.21 0.00 1.43 0.99

time (sec)

N/A 0.127 0.193 0.000 0.232 0.295 0.000 0.346 1.747

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

341 341 440 0 321 361 0 578 424

N.S.

1 1.00 1.29 0.00 0.94 1.06 0.00 1.70 1.24

time (sec)

N/A 0.250 0.206 0.000 0.230 0.344 0.000 0.355 1.831

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

480 480 545 0 387 490 0 877 440

N.S.

1 1.00 1.14 0.00 0.81 1.02 0.00 1.83 0.92

time (sec)

N/A 0.307 0.366 0.000 0.227 0.338 0.000 0.407 3.004

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

569 569 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.887 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

260 260 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.338 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

135 135 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.128 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

285 285 558 0 568 541 0 543 357

N.S.

1 1.00 1.96 0.00 1.99 1.90 0.00 1.91 1.25

time (sec)

N/A 0.172 0.411 0.000 0.231 0.339 0.000 0.400 1.824

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

595 595 766 0 732 869 0 1147 846

N.S.

1 1.00 1.29 0.00 1.23 1.46 0.00 1.93 1.42

time (sec)

N/A 0.425 0.650 0.000 0.257 0.373 0.000 0.395 2.029

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

907 907 950 0 864 1203 0 1747 989

N.S.

1 1.00 1.05 0.00 0.95 1.33 0.00 1.93 1.09

time (sec)

N/A 0.659 0.924 0.000 0.266 0.351 0.000 0.411 9.308

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

234 234 218 0 172 201 216 516 189

N.S.

1 1.00 0.93 0.00 0.74 0.86 0.92 2.21 0.81

time (sec)

N/A 0.118 0.149 0.000 0.202 0.358 45.057 0.302 1.763

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

185 185 174 0 140 161 173 390 150

N.S.

1 1.00 0.94 0.00 0.76 0.87 0.94 2.11 0.81

time (sec)

N/A 0.089 0.106 0.000 0.192 0.336 8.682 0.297 1.583

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

136 136 132 0 106 122 131 264 111

N.S.

1 1.00 0.97 0.00 0.78 0.90 0.96 1.94 0.82

time (sec)

N/A 0.061 0.065 0.000 0.192 0.333 1.861 0.315 1.531

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 77 66 70 77 82 132 65

N.S.

1 1.00 1.00 0.86 0.91 1.00 1.06 1.71 0.84

time (sec)

N/A 0.037 0.034 0.405 0.190 0.317 0.528 0.289 1.438

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 51 53 0 166 0 0 0 0

N.S.

1 1.00 1.04 0.00 3.25 0.00 0.00 0.00 0.00

time (sec)

N/A 0.035 0.004 0.000 0.343 0.000 0.000 0.000 0.000

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

87 87 85 0 75 81 0 207 74

N.S.

1 1.00 0.98 0.00 0.86 0.93 0.00 2.38 0.85

time (sec)

N/A 0.044 0.025 0.000 0.222 0.349 0.000 0.305 1.701

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 143 131 0 106 125 0 343 109

N.S.

1 1.00 0.92 0.00 0.74 0.87 0.00 2.40 0.76

time (sec)

N/A 0.063 0.085 0.000 0.195 0.326 0.000 0.328 1.737

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

192 192 172 0 139 163 0 489 154

N.S.

1 1.00 0.90 0.00 0.72 0.85 0.00 2.55 0.80

time (sec)

N/A 0.081 0.143 0.000 0.207 0.326 0.000 0.314 1.764

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

680 680 427 0 424 674 0 1389 608

N.S.

1 1.00 0.63 0.00 0.62 0.99 0.00 2.04 0.89

time (sec)

N/A 0.456 0.395 0.000 0.206 0.384 0.000 0.323 6.032

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

480 480 317 0 323 484 0 930 431

N.S.

1 1.00 0.66 0.00 0.67 1.01 0.00 1.94 0.90

time (sec)

N/A 0.311 0.239 0.000 0.205 0.365 0.000 0.319 3.007

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

267 267 197 0 217 287 0 465 290

N.S.

1 1.00 0.74 0.00 0.81 1.07 0.00 1.74 1.09

time (sec)

N/A 0.204 0.087 0.000 0.194 0.342 0.000 0.312 1.800

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 195 0 0 0 0 0 0

N.S.

1 1.00 2.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.085 0.086 0.000 0.000 0.000 0.000 0.000 0.000

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

231 231 273 0 0 0 0 0 0

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.274 0.165 0.000 0.000 0.000 0.000 0.000 0.000

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

405 405 443 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.604 0.308 0.000 0.000 0.000 0.000 0.000 0.000

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1835 1835 1025 0 1064 2183 0 4320 1802

N.S.

1 1.00 0.56 0.00 0.58 1.19 0.00 2.35 0.98

time (sec)

N/A 1.553 0.900 0.000 0.217 0.517 0.000 0.559 9.933

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1357 1357 808 0 867 1688 0 3240 1386

N.S.

1 1.00 0.60 0.00 0.64 1.24 0.00 2.39 1.02

time (sec)

N/A 1.034 0.571 0.000 0.228 0.463 0.000 0.346 9.640

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

907 907 589 0 668 1190 0 2160 979

N.S.

1 1.00 0.65 0.00 0.74 1.31 0.00 2.38 1.08

time (sec)

N/A 0.652 0.322 0.000 0.210 0.393 0.000 0.332 9.193

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

438 438 362 0 455 690 0 1072 558

N.S.

1 1.00 0.83 0.00 1.04 1.58 0.00 2.45 1.27

time (sec)

N/A 0.287 0.151 0.000 0.203 0.338 0.000 0.324 1.879

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 135 333 0 0 0 0 0 0

N.S.

1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.130 0.126 0.000 0.000 0.000 0.000 0.000 0.000

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

439 439 733 0 0 0 0 0 0

N.S.

1 1.00 1.67 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.581 0.608 0.000 0.000 0.000 0.000 0.000 0.000

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

765 765 1074 0 0 0 0 0 0

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.818 1.266 0.000 0.000 0.000 0.000 0.000 0.000

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

138 138 135 0 108 129 0 254 113

N.S.

1 1.00 0.98 0.00 0.78 0.93 0.00 1.84 0.82

time (sec)

N/A 0.067 0.074 0.000 0.223 0.351 0.000 0.503 2.050

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F(-1) A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 130 128 0 0 337 0 115 0

N.S.

1 1.00 0.98 0.00 0.00 2.59 0.00 0.88 0.00

time (sec)

N/A 0.053 0.105 0.000 0.000 0.370 0.000 0.351 0.000

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 89 94 0 76 83 95 82 74

N.S.

1 1.00 1.06 0.00 0.85 0.93 1.07 0.92 0.83

time (sec)

N/A 0.047 0.022 0.000 0.199 0.328 103.409 0.368 1.567

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 72 62 0 231 70 72 56

N.S.

1 1.00 1.00 0.86 0.00 3.21 0.97 1.00 0.78

time (sec)

N/A 0.045 0.020 0.391 0.000 0.352 1.900 0.319 1.571

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 55 55 0 114 0 0 0 0

N.S.

1 1.00 1.00 0.00 2.07 0.00 0.00 0.00 0.00

time (sec)

N/A 0.042 0.010 0.000 0.356 0.000 0.000 0.000 0.000

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 68 59 0 0 208 0 64 0

N.S.

1 1.00 0.87 0.00 0.00 3.06 0.00 0.94 0.00

time (sec)

N/A 0.029 0.015 0.000 0.000 0.346 0.000 0.341 0.000

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 94 93 0 77 85 0 95 74

N.S.

1 1.00 0.99 0.00 0.82 0.90 0.00 1.01 0.79

time (sec)

N/A 0.045 0.027 0.000 0.208 0.357 0.000 0.331 1.826

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

123 123 65 0 0 313 0 100 0

N.S.

1 1.00 0.53 0.00 0.00 2.54 0.00 0.81 0.00

time (sec)

N/A 0.049 0.012 0.000 0.000 0.372 0.000 0.339 0.000

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

482 482 323 0 330 508 0 905 440

N.S.

1 1.00 0.67 0.00 0.68 1.05 0.00 1.88 0.91

time (sec)

N/A 0.314 0.250 0.000 0.201 0.395 0.000 0.612 2.907

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

275 275 239 0 231 304 0 313 299

N.S.

1 1.00 0.87 0.00 0.84 1.11 0.00 1.14 1.09

time (sec)

N/A 0.198 0.104 0.000 0.232 0.371 0.000 0.505 1.726

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 95 199 0 0 0 0 0 0

N.S.

1 1.00 2.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.087 0.092 0.000 0.000 0.000 0.000 0.000 0.000

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

238 238 264 0 0 0 0 0 0

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.285 0.219 0.000 0.000 0.000 0.000 0.000 0.000

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

412 412 449 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.610 0.328 0.000 0.000 0.000 0.000 0.000 0.000

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

547 547 438 0 0 0 0 0 0

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.497 0.295 0.000 0.000 0.000 0.000 0.000 0.000

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

364 364 319 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.305 0.174 0.000 0.000 0.000 0.000 0.000 0.000

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

298 298 247 0 0 0 0 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.260 0.116 0.000 0.000 0.000 0.000 0.000 0.000

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

476 476 473 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.397 0.391 0.000 0.000 0.000 0.000 0.000 0.000

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

640 640 678 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.619 0.762 0.000 0.000 0.000 0.000 0.000 0.000

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

913 913 593 0 680 1241 0 2104 992

N.S.

1 1.00 0.65 0.00 0.74 1.36 0.00 2.30 1.09

time (sec)

N/A 0.694 0.566 0.000 0.213 0.489 0.000 0.817 9.190

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

449 449 428 0 484 720 0 755 575

N.S.

1 1.00 0.95 0.00 1.08 1.60 0.00 1.68 1.28

time (sec)

N/A 0.321 0.262 0.000 0.213 0.412 0.000 0.789 1.882

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 339 0 0 0 0 0 0

N.S.

1 1.00 2.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.135 0.140 0.000 0.000 0.000 0.000 0.000 0.000

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

451 451 764 0 0 0 0 0 0

N.S.

1 1.00 1.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.572 0.546 0.000 0.000 0.000 0.000 0.000 0.000

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

24 24 1552 22 0 75 0 24 24

N.S.

1 1.00 64.67 0.92 0.00 3.12 0.00 1.00 1.00

time (sec)

N/A 1.931 7.796 0.065 0.000 0.354 0.000 0.465 1.438

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

20 20 1299 18 0 62 19 20 20

N.S.

1 1.00 64.95 0.90 0.00 3.10 0.95 1.00 1.00

time (sec)

N/A 0.688 5.891 0.053 0.000 0.321 61.662 0.458 1.409

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

24 24 1158 22 0 66 0 24 24

N.S.

1 1.00 48.25 0.92 0.00 2.75 0.00 1.00 1.00

time (sec)

N/A 0.323 6.625 0.066 0.000 0.335 0.000 0.440 1.507

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

24 24 1385 22 0 66 0 24 24

N.S.

1 1.00 57.71 0.92 0.00 2.75 0.00 1.00 1.00

time (sec)

N/A 1.194 7.583 0.068 0.000 0.325 0.000 0.551 1.456

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

239 239 214 0 162 232 0 169 191

N.S.

1 1.00 0.90 0.00 0.68 0.97 0.00 0.71 0.80

time (sec)

N/A 0.115 0.180 0.000 0.216 0.430 0.000 0.362 1.917

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

190 190 171 0 128 192 162 134 153

N.S.

1 1.00 0.90 0.00 0.67 1.01 0.85 0.71 0.81

time (sec)

N/A 0.086 0.089 0.000 0.189 0.336 57.673 0.355 1.908

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

141 141 128 0 96 153 119 103 112

N.S.

1 1.00 0.91 0.00 0.68 1.09 0.84 0.73 0.79

time (sec)

N/A 0.062 0.064 0.000 0.191 0.341 11.428 0.366 1.965

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 79 108 59 107 73 63 59

N.S.

1 1.00 1.13 1.54 0.84 1.53 1.04 0.90 0.84

time (sec)

N/A 0.033 0.033 0.429 0.198 0.332 2.290 0.336 1.707

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 51 53 0 185 0 0 0 0

N.S.

1 1.00 1.04 0.00 3.63 0.00 0.00 0.00 0.00

time (sec)

N/A 0.035 0.004 0.000 0.455 0.000 0.000 0.000 0.000

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 85 0 86 107 0 96 73

N.S.

1 1.00 1.04 0.00 1.05 1.30 0.00 1.17 0.89

time (sec)

N/A 0.043 0.026 0.000 0.195 0.366 0.000 0.370 1.585

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-2) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

138 138 133 0 117 165 0 127 113

N.S.

1 1.00 0.96 0.00 0.85 1.20 0.00 0.92 0.82

time (sec)

N/A 0.062 0.061 0.000 0.200 0.379 0.000 0.360 1.738

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

187 187 177 0 150 213 0 160 152

N.S.

1 1.00 0.95 0.00 0.80 1.14 0.00 0.86 0.81

time (sec)

N/A 0.086 0.106 0.000 0.198 0.408 0.000 0.494 1.734

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

572 572 603 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.058 0.418 0.000 0.000 0.000 0.000 0.000 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

400 400 437 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.599 0.228 0.000 0.000 0.000 0.000 0.000 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

227 227 241 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 0.123 0.000 0.000 0.000 0.000 0.000 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 389 0 0 0 0 0 0

N.S.

1 1.00 4.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.089 0.149 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]